Optimize Go Performance: Value vs. Pointer Types for Fewer Memory Allocations
dev.to·4h·
Discuss: DEV
🧠Memory Allocators
Make and SQL: An old new way for Data Science workloads
vasvir.wordpress.com·10h·
Discuss: Hacker News
🦀Rust Macros
StrongBox: Simple, Safe Data Encryption for Rust
hezmatt.org·4h
🦀Embedded Rust
Outlandish Recursive Query Examples
sqlite.org·4h·
Discuss: Lobsters
🗄️SQLite Internals
Stable, Mutable References for Ante
antelang.org·1d·
Discuss: Lobsters, Hacker News, r/programming
🔒Type Safety
Formal Methods for Stellar DeFi: Verifying Lending Protocol with Certora Sunbeam Prover
blog.positive.com·16h
✅Format Verification
Sets & Heaps in Haskell and Rust
mmhaskell.com·1d
🔒Type Safety
Implementing Forth in Go and C
eli.thegreenplace.net·1h
🔗Concatenative Programming
Put a ring on it: a lock-free MPMC ring buffer
h4x0r.org·14h·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
⚡Hardware Transactional Memory
Learning ON Large Datasets Using Bit-String Trees
arxiv.org·1d
🗂️Vector Databases
Using panic metadata to recover source code information from Rust binaries | cxiao.net
cxiao.net·14h
🦀Rust Macros
Chez Scheme vs. SBCL: a comparison (2019)
elmord.org·6h·
Discuss: Lobsters, Hacker News
🧠Lisp Dialects
shared_ptr<T>: the (not always) atomic reference counted smart pointer (2019)
snf.github.io·3h·
Discuss: Lobsters, Hacker News
🦀Rust Borrowing
Guessing Game: Haskell Style
entropicthoughts.com·1d
👑Dependent Haskell
Securing FreeBSD Services with Lightweight Jails
discoverbsd.com·22h
🗄️File Systems
Anonymous structavaganza in zig
lirk.top·1d·
Discuss: Hacker News, r/Zig, r/programming
🔗Concatenative Programming
Builder Pattern in CDK
medium.com·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
TypeScript Cookbook • Stefan Baumgartner & Peter Kröner
youtube.com·16h
🎯Gradual Typing
Popular Nx Build System NPM Package Compromised with Data Stealing Malware
stepsecurity.io·1h·
Discuss: Hacker News
🔓Open Source Software
Model-based Testing Distributed Systems with P Language (2021)
mydistributed.systems·14h·
Discuss: Lobsters, Hacker News, r/programming
📞Session Types